Copied to
clipboard

G = C22:3D36order 288 = 25·32

The semidirect product of C22 and D36 acting via D36/D18=C2

metabelian, supersoluble, monomial, 2-hyperelementary

Aliases: D18:4D4, C22:3D36, C23.20D18, C9:1C22wrC2, (C2xC4):1D18, (C2xC18):1D4, C2.7(D4xD9), D18:C4:4C2, (C2xD36):2C2, C22:C4:2D9, C18.5(C2xD4), C6.79(S3xD4), (C2xC12).2D6, C2.7(C2xD36), (C2xC6).4D12, (C2xC36):1C22, C3.(D6:D4), C6.34(C2xD12), (C23xD9):1C2, (C22xC6).42D6, (C2xC18).23C23, (C2xDic9):1C22, (C22xD9):1C22, C22.41(C22xD9), (C22xC18).12C22, (C2xC9:D4):1C2, (C9xC22:C4):3C2, (C3xC22:C4).3S3, (C2xC6).180(C22xS3), SmallGroup(288,92)

Series: Derived Chief Lower central Upper central

C1C2xC18 — C22:3D36
C1C3C9C18C2xC18C22xD9C23xD9 — C22:3D36
C9C2xC18 — C22:3D36
C1C22C22:C4

Generators and relations for C22:3D36
 G = < a,b,c,d | a2=b2=c36=d2=1, cac-1=dad=ab=ba, bc=cb, bd=db, dcd=c-1 >

Subgroups: 1148 in 195 conjugacy classes, 48 normal (20 characteristic)
C1, C2, C2, C2, C3, C4, C22, C22, C22, S3, C6, C6, C6, C2xC4, C2xC4, D4, C23, C23, C9, Dic3, C12, D6, C2xC6, C2xC6, C2xC6, C22:C4, C22:C4, C2xD4, C24, D9, C18, C18, C18, D12, C2xDic3, C3:D4, C2xC12, C22xS3, C22xC6, C22wrC2, Dic9, C36, D18, D18, C2xC18, C2xC18, C2xC18, D6:C4, C3xC22:C4, C2xD12, C2xC3:D4, S3xC23, D36, C2xDic9, C9:D4, C2xC36, C22xD9, C22xD9, C22xD9, C22xC18, D6:D4, D18:C4, C9xC22:C4, C2xD36, C2xC9:D4, C23xD9, C22:3D36
Quotients: C1, C2, C22, S3, D4, C23, D6, C2xD4, D9, D12, C22xS3, C22wrC2, D18, C2xD12, S3xD4, D36, C22xD9, D6:D4, C2xD36, D4xD9, C22:3D36

Smallest permutation representation of C22:3D36
On 72 points
Generators in S72
(1 57)(3 59)(5 61)(7 63)(9 65)(11 67)(13 69)(15 71)(17 37)(19 39)(21 41)(23 43)(25 45)(27 47)(29 49)(31 51)(33 53)(35 55)
(1 57)(2 58)(3 59)(4 60)(5 61)(6 62)(7 63)(8 64)(9 65)(10 66)(11 67)(12 68)(13 69)(14 70)(15 71)(16 72)(17 37)(18 38)(19 39)(20 40)(21 41)(22 42)(23 43)(24 44)(25 45)(26 46)(27 47)(28 48)(29 49)(30 50)(31 51)(32 52)(33 53)(34 54)(35 55)(36 56)
(1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36)(37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72)
(1 56)(2 55)(3 54)(4 53)(5 52)(6 51)(7 50)(8 49)(9 48)(10 47)(11 46)(12 45)(13 44)(14 43)(15 42)(16 41)(17 40)(18 39)(19 38)(20 37)(21 72)(22 71)(23 70)(24 69)(25 68)(26 67)(27 66)(28 65)(29 64)(30 63)(31 62)(32 61)(33 60)(34 59)(35 58)(36 57)

G:=sub<Sym(72)| (1,57)(3,59)(5,61)(7,63)(9,65)(11,67)(13,69)(15,71)(17,37)(19,39)(21,41)(23,43)(25,45)(27,47)(29,49)(31,51)(33,53)(35,55), (1,57)(2,58)(3,59)(4,60)(5,61)(6,62)(7,63)(8,64)(9,65)(10,66)(11,67)(12,68)(13,69)(14,70)(15,71)(16,72)(17,37)(18,38)(19,39)(20,40)(21,41)(22,42)(23,43)(24,44)(25,45)(26,46)(27,47)(28,48)(29,49)(30,50)(31,51)(32,52)(33,53)(34,54)(35,55)(36,56), (1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36)(37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72), (1,56)(2,55)(3,54)(4,53)(5,52)(6,51)(7,50)(8,49)(9,48)(10,47)(11,46)(12,45)(13,44)(14,43)(15,42)(16,41)(17,40)(18,39)(19,38)(20,37)(21,72)(22,71)(23,70)(24,69)(25,68)(26,67)(27,66)(28,65)(29,64)(30,63)(31,62)(32,61)(33,60)(34,59)(35,58)(36,57)>;

G:=Group( (1,57)(3,59)(5,61)(7,63)(9,65)(11,67)(13,69)(15,71)(17,37)(19,39)(21,41)(23,43)(25,45)(27,47)(29,49)(31,51)(33,53)(35,55), (1,57)(2,58)(3,59)(4,60)(5,61)(6,62)(7,63)(8,64)(9,65)(10,66)(11,67)(12,68)(13,69)(14,70)(15,71)(16,72)(17,37)(18,38)(19,39)(20,40)(21,41)(22,42)(23,43)(24,44)(25,45)(26,46)(27,47)(28,48)(29,49)(30,50)(31,51)(32,52)(33,53)(34,54)(35,55)(36,56), (1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36)(37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72), (1,56)(2,55)(3,54)(4,53)(5,52)(6,51)(7,50)(8,49)(9,48)(10,47)(11,46)(12,45)(13,44)(14,43)(15,42)(16,41)(17,40)(18,39)(19,38)(20,37)(21,72)(22,71)(23,70)(24,69)(25,68)(26,67)(27,66)(28,65)(29,64)(30,63)(31,62)(32,61)(33,60)(34,59)(35,58)(36,57) );

G=PermutationGroup([[(1,57),(3,59),(5,61),(7,63),(9,65),(11,67),(13,69),(15,71),(17,37),(19,39),(21,41),(23,43),(25,45),(27,47),(29,49),(31,51),(33,53),(35,55)], [(1,57),(2,58),(3,59),(4,60),(5,61),(6,62),(7,63),(8,64),(9,65),(10,66),(11,67),(12,68),(13,69),(14,70),(15,71),(16,72),(17,37),(18,38),(19,39),(20,40),(21,41),(22,42),(23,43),(24,44),(25,45),(26,46),(27,47),(28,48),(29,49),(30,50),(31,51),(32,52),(33,53),(34,54),(35,55),(36,56)], [(1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36),(37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72)], [(1,56),(2,55),(3,54),(4,53),(5,52),(6,51),(7,50),(8,49),(9,48),(10,47),(11,46),(12,45),(13,44),(14,43),(15,42),(16,41),(17,40),(18,39),(19,38),(20,37),(21,72),(22,71),(23,70),(24,69),(25,68),(26,67),(27,66),(28,65),(29,64),(30,63),(31,62),(32,61),(33,60),(34,59),(35,58),(36,57)]])

54 conjugacy classes

class 1 2A2B2C2D2E2F2G2H2I2J 3 4A4B4C6A6B6C6D6E9A9B9C12A12B12C12D18A···18I18J···18O36A···36L
order122222222223444666669991212121218···1818···1836···36
size1111221818181836244362224422244442···24···44···4

54 irreducible representations

dim111111222222222244
type++++++++++++++++++
imageC1C2C2C2C2C2S3D4D4D6D6D9D12D18D18D36S3xD4D4xD9
kernelC22:3D36D18:C4C9xC22:C4C2xD36C2xC9:D4C23xD9C3xC22:C4D18C2xC18C2xC12C22xC6C22:C4C2xC6C2xC4C23C22C6C2
# reps1212111422134631226

Matrix representation of C22:3D36 in GL4(F37) generated by

36000
0100
0010
0001
,
36000
03600
0010
0001
,
0100
36000
0048
002912
,
03600
36000
003210
0055
G:=sub<GL(4,GF(37))| [36,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],[36,0,0,0,0,36,0,0,0,0,1,0,0,0,0,1],[0,36,0,0,1,0,0,0,0,0,4,29,0,0,8,12],[0,36,0,0,36,0,0,0,0,0,32,5,0,0,10,5] >;

C22:3D36 in GAP, Magma, Sage, TeX

C_2^2\rtimes_3D_{36}
% in TeX

G:=Group("C2^2:3D36");
// GroupNames label

G:=SmallGroup(288,92);
// by ID

G=gap.SmallGroup(288,92);
# by ID

G:=PCGroup([7,-2,-2,-2,-2,-2,-3,-3,254,219,58,6725,292,9414]);
// Polycyclic

G:=Group<a,b,c,d|a^2=b^2=c^36=d^2=1,c*a*c^-1=d*a*d=a*b=b*a,b*c=c*b,b*d=d*b,d*c*d=c^-1>;
// generators/relations

׿
x
:
Z
F
o
wr
Q
<